1681. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
1682. Sensitivity, Stability and Parametric Analysis
پدیدآورنده: edited by Anthony V. Fiacco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics.,Mathematical optimization.,Mathematics.
رده :
QA402
.
5
E358
1984
1683. Sensitivity analysis for neural network
پدیدآورنده: / Daniel S. Yeung, Ian Cloete, Daming Shi, Wing W.Y. Ng
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Neural networks (Computer science),Sensitivity theory (Mathematics)
رده :
QA
,
76
.
87
,.
Y48
,
2010
1684. Sensitivity analysis for neural networks
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Neural networks (Computer science) ; Sensitivity theory (Mathematics) ;
1685. Sensitivity analysis for neural networks
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Neural networks )Computer science(,، Sensitivity theory )Mathematics(
رده :
QA
76
.
87
.
S37
2010
1686. Sensitivity analysis for neural networks
پدیدآورنده: Daniel S. Yeung...]et al.[
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Neural networks )Computer science(,، Sensitivity theory )Mathematics(,، Electronic books
رده :
QA
76
.
87
.
S46
1687. Set Operads in Combinatorics and Computer Science
پدیدآورنده: \ Miguel A. Méndez
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Decomposition method,روش تجزیه,a02,a02,Operads.,Computer science -- Mathematics,علوم کامپیوتر -- ریاضیات
رده :
QA
169
.
M4S4
2015
E-Book
,
1688. Sets, Logic and Maths for Computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Mathematical logic. ; Computer mathematics. ; Discrete mathematics. ; Discrete Mathematics in Computer Science. ; -Computer science
1689. Sets, logic and maths for computin
پدیدآورنده: / David Makinson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics
رده :
QA
,
76
.
9
,.
M35
,
M35
,
2008
1690. Sets, logic and maths for computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics. ; Informatique ; Math?matiques. ;
1691. Shapes and Diffeomorphisms
پدیدآورنده: / Laurent Younes.,Younes, Laurent,
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Biomathematics.,Calculus of variations.,Computer mathematics.,Computer science,Differential geometry.,Global analysis (Mathematics).,Manifolds (Mathematics).,Statistics.,Mathematics.
رده :
QA445
.
Y68
2019
1692. Simulation by Bondgraphs :
پدیدآورنده: by Jean Ulrich Thoma.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Engineering mathematics.
رده :
TA338
.
B6
B954
1990
1693. Singular Phenomena and Scaling in Mathematical Model
پدیدآورنده: / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science, Mathematics,Computer science,Mathematics,Computational Science and Engineering,Computational Mathematics and Numerical Analysis
رده :
E-BOOK
1694. Small Viscosity and Boundary Layer Methods
پدیدآورنده: by Guy Métivier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Differential equations, Partial.,Mathematical physics.,Mathematics.,Surfaces (Physics).
1695. Soft Computing in Measurement and Information Acquisition
پدیدآورنده: edited by Leon Reznik, Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer engineering.,Computer science.,Engineering mathematics.,Engineering.,Management information systems.,Mathematics.
1696. Software service and application engineering
پدیدآورنده: Maritta Heisel (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics,Software engineering
رده :
QA76
.
758
.
S725
2012eb
1697. Space-Filling Curve
پدیدآورنده: / by Michael Bader
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Algorithms,Electronic books
رده :
E-BOOK
1698. Sparse Grids and Applications
پدیدآورنده: edited by Jochen Garcke, Michael Griebel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science.,Mathematics.,Mathematics.,Computational Mathematics and Numerical Analysis.,Computational Science and Engineering.,Mathematics of Computing.
1699. Special Topics in Mathematics for Computer Scientists
پدیدآورنده: \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
